XM $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$P$:$\mathbb{P}$. Dec($P$)